#include <stdio.h>
#include <stdlib.h>

#include "debug.h"

void BUG(const char* bug, int err)
{
    printf("BUG[%d]:%s\n", err, bug);
    exit(-1);
}    


